STOCHASTIC ESTIMATION OF EARTHQUAKE RESPONSE OF INDETERMINATE LINEAR GROUND MODEL BY FIRST-ORDER INTERVENING VARIABLE METHOD : First-order intervening variable method : Part 1

One-variable first-order linear temporal logics with counting

First-order temporal logics are notorious for their bad computational behaviour. It is known that even the two-variable monadic fragment is highly undecidable over various timelines. However, following the introduction of the monodic formulas (where temporal operators can be applied only to subformulas with at most one free variable), there has been a renewed interest in understanding extension...

First-order Estimation of Stochastic Parameters of

First-order approximation techniques for estimating stochastic parameters of a sediment transport model are presented. The non-homogeneous compound Poisson model of Shen-Todorovic eliminating certain idealized assumptions to describe the movement of sediment in natural streams is a revision of the earlier homogeneous model of Einstein-Hubbell-Sayre. However, the complexity of the non-homogeneou...

A method for solving first order fuzzy differential equation

Implicit RBF Meshless Method for the Solution of Two-dimensional Variable Order Fractional Cable Equation

In the present work, the numerical solution of two-dimensional variable-order fractional cable (VOFC) equation using meshless collocation methods with thin plate spline radial basis functions is considered. In the proposed methods, we first use two schemes of order O(τ2) for the time derivatives and then meshless approach is applied to the space component. Numerical results obtained ...

Omitting Types for Finite Variable Fragments of First Order Logic

We give yet another novel application of algebraic logic to first order logic. Using a construction of Andréka for relation algebras, we show that the classical HenkinOrey Omitting Types Theorem fails for the finite variable fragments of first order logic in a rather strong sense as long as the number of variables available are > 2. Throughout, unless otherwise specified, n is a finite ordinal ...